Computees and welfare
نویسندگان
چکیده
This is a report on preliminary work on welfare-related properties for computees, providing an annex to deliverable D13. Copyright c © 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of Ferrara. Computees and welfare P. Mancarella, F. Sadri, K. Stathis, F. Toni, A. Bracciali 1 Dip. di Informatica, Università di Pisa, Email: [email protected] 2 Dept. of Computing, Imperial College London, Email: {fs,ft}@doc.ic.ac.uk 3 School of Informatics, City University London, Email: [email protected] ABSTRACT This is a report on preliminary work on welfare-related properties for computees, providing an annex to deliverable D13.This is a report on preliminary work on welfare-related properties for computees, providing an annex to deliverable D13.
منابع مشابه
Deliverable D13: Verifiable Properties of Societies of Computees
This deliverable reports the work conducted within the SOCS project for workpackage WP5 on verifiable properties of computees and their societies. Copyright c © 2005 by the SOCS Consortium. The SOCS Consortium consists of the following partners: Imperial College of Science, Technology and Medicine, University of Pisa, City University, University of Cyprus, University of Bologna, University of F...
متن کاملDeliverable D14: Experiments with animated societies of computees
In this deliverable, we report on our work within WP6, which is devoted to testing the proposed SOCS models for individual computees and societies of computees, and their implementation. To this purpose, work-package WP6 aims at testing the models defined in WP1, WP2 and WP3, by exploiting PROSOCS, the outcome of WP4. As a by-product, this work is also a test of PROSOCS. This task has been addr...
متن کاملA logic-based approach to modeling interaction among computees (preliminary report)
Computees are computational entities interacting in the context of global and open computing environments. The focus of this preliminary report is on the interactions among computees that form a society, and on the definition of a computational logic-based architecture for computee interactions. We propose a layered architecture where the society defines the allowed interaction protocols, which...
متن کاملDeliverable D5: A logic-based approach to model interaction amongst computees
Computees are Computational Logic-based entities interacting in the context of global and open computing environments. The focus of this work is on the interactions among computees that form a society, and on the definition of a Computational Logic-based architecture for computee interactions. We propose a layered architecture where the society defines the allowed interaction protocols, which d...
متن کاملModeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interactions and define the allowed interaction protocols. Social integrity constraints represent a powerful though simple formalism to express such protocols. Using social integrity constraints, it is possible to give a formal ...
متن کامل